* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
authorJuanma Barranquero <lekktu@gmail.com>
Tue, 3 Mar 2009 09:21:31 +0000 (09:21 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Tue, 3 Mar 2009 09:21:31 +0000 (09:21 +0000)
commit965e0e6d9a03c4f3d7bff793c4a053ea09ee3989
treeb67969cf57150846ebc08dbf3b28308c69fd1f7a
parentd98c9adf7aa1c8084f2344dec315b7df7aeca94a
* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add auth.
 ($(infodir)/auth, auth.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in